AtomDeq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$\lambda$$a$,$b$. $a$=$_{2}$$b$$\in$Atom$,\,$TERMOF\{atom{-}deq{-}aux:ObjectId, 1:l\}$\rangle$